Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
531	COMMUNICATIONS IN ALGEBRA, 2(5), 403–[removed]PERFECT QUOTIENT FUNCTORS John A. Beachy Department of Mathematical Sciences Northern Illinois University Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2001-10-16 16:49:11 Injective module Module Essential extension Torsion Dedekind domain Dense submodule Category of rings Structure Injective hull Abstract algebra Algebra Module theory
532	Generic Views on Data Types Stefan Holdermans Johan Jeuring Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Data types Type theory Functional programming Category theory Generic programming Algebraic data type Fold Type system Recursive data type Software engineering Computing Computer programming
533	Topologies on Types Eddie Dekel, Drew Fudenberg and Stephen Morris Talk for Southwestern Economic Theory Conference Arizona State University March 2006 Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2006-03-02 20:16:24 Product topology Topological space Drew Fudenberg Category of topological spaces Space Topology General topology Mathematics
534	Microsoft Word - B.Com-BBA III Sem. Common Course - Basic Numarikal Skills Add to Reading List Source URL: www.universityofcalicut.info Language: English - Date: 2012-10-30 08:07:58 Set Category of sets Category Union Algebra of sets Naive set theory Cartesian product Mathematics Binary operations Intersection
535	Theory and Applications of Categories, Vol. 11, No. 11, 2003, pp. 252–282. CONTINUOUS CATEGORIES REVISITED ∗) ´ ´ ∗) Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2003-05-28 11:36:19 Category theory Algebraic structures Order theory Adjoint functors Semilattice Monad Universal property Complete lattice Limit Abstract algebra Mathematics Lattice theory
536	GAP package authors’ workshop, Braunschweig, [removed]Computational Higher-Dimensional Algebra packages at Bangor Add to Reading List Source URL: www.maths.bangor.ac.uk Language: English - Date: 2007-09-21 12:17:11 Category theory Higher category theory Homotopy theory Algebraic topology Algebraic structures Groupoid Crossed module Higher-dimensional algebra Group action Abstract algebra Algebra Mathematics
537	Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-07-19 06:14:04 Mathematical logic Boolean algebra Catamorphism Functional programming Relation algebra Anamorphism Category Structure Composition of relations Mathematics Abstract algebra Category theory
538	Datatype-Generic Termination Proofs Roland Backhouse and Henk Doornbos [removed] School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, henk.doornbos@questan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-22 04:16:03 Category theory Combinatorics on words Functional programming Data types Catamorphism Generic programming Relation algebra Function String Mathematics Abstract algebra Mathematical logic
539	Picard categories, determinant functors and K -theory Fernando Muro Universitat de Barcelona, Dept. Àlgebra i Geometria Categories in Geometry and in Mathematical Physics Add to Reading List Source URL: personal.us.es Language: English - Date: 2009-07-08 03:54:02 Abstract algebra Functors Adjoint functors Natural transformation Determinant Equivalence of categories Universal property Algebra Mathematics Category theory
540	AN OLD-FASHIONED ELEMENTARY TALK (VILLARS) I have some beautiful brand new mathematics to show you. It is about the construction of some brave new rings and some new infinite loop spaces that I do not yet understand. Ho Add to Reading List Source URL: www.math.uchicago.edu Language: English - Date: 2006-04-16 18:39:28 Topology Category theory Homological algebra Homotopy theory Operad theory E∞-operad Steenrod algebra Simplicial set Cohomology Abstract algebra Algebraic topology Algebra

UPDATE